581 research outputs found
Performance Portability Through Semi-explicit Placement in Distributed Erlang
We consider the problem of adapting distributed Erlang applications to large or heterogeneous architectures to achieve good performance in a portable way. In many architectures, and especially large architectures, the communication latency between pairs of virtual machines (nodes) is no longer uniform.
We propose two language-level methods that enable programs to automatically adapt to heterogeneity and non-uniform communication latencies, and both provide information enabling a program to identify an appropriate node when spawning a process. We provide a means of recording node attributes describing the hardware and software capabilities of nodes, and mechanisms that allow an application to examine the attributes of remote nodes. We provide an abstraction of communication distances that enables an application to select nodes to facilitate efficient communication.
We have developed open source libraries that implement these ideas. We show that the use of attributes for node selection can lead to significant performance improvements if different components of the application have different processing requirements. We report a detailed empirical investigation of non-uniform communication times in several representative architectures, and show that our abstract model provides a good description of the hierarchy of communication times
Symbolic and analytic techniques for resource analysis of Java bytecode
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap shapes, in the tradition of separation logic, and assertions about consumable resources. Separately, polyhedral methods have been used to calculate bounds on numbers of iterations in loop-based programs. We are attempting to combine these ideas to deal with Java programs involving both data structures and loops, focusing on the bytecode level rather than on source code
Diseño institucional y polÃtica pública: una perspectiva microeconómica
This survey article provides a microeconomic perspective of institutional design and public policy, focusing on the way the relations between voters, politicians and bureaucrats produce efficients outcomes in public policy. It points out the relevance of information and monitoring costs, competition and the structural features of institutions in the search of efficient results, and the way social scientists explain the failures of the political and burocratic markets.institucional design, public policy, information costs, political markets, bureaucracy, public choice
Observations on the non-starchy barley polysaccharides
1. Methods have been developed whereby an extract of
barley containing the non-starchy water soluble
polysaccharides may be fractionated. The most
successful fractionating agent used was ammonium
sulphate.2. At least two distinct polysaccharides have been
isolated. One, a pure glucosan which possesses
a small negative specific rotation and may be
likened to a short chain cellulose; two, a pentosan which gives arabinose and xylose on
hydrolysis and which is suspected to be a mixed
polysaccharide.3 The precise source of the water soluble non- starchy
polysaccharides remains undetermined. The husk
and embryo would appear to be deficient in these
materials and the most probable location seems to
be some part of the endosperm.4. The nature of action cf the cell-wall hydrolysing
enzyme systems of barley has been examined. The
results obtained confirm previous work which
postulated two enzyme systems - one, which had a
disaggregating action, and the second which had a saccharifying action. Such data as is available
indicate that the precise nature of the combined
action of the two systems is more complex than at
first suspected
Character description and socio-political apologetic in the Acts of the Apostles
Acts has been the subject of exhaustive enquiry from historical, source,
redactional, literary, and other angles. The aim of this thesis is to read
Acts as would someone with an education typical of that time. The clearer it
is that such rhetorical grounding was sufficient basis for an intelligible
interpretation, the more likely that Acts was extroverted enough to be
addressed to a general readership. Since it was the practice to interpret
history in terms of individuals not general movements, as is exemplified in
theoretical statements of Cicero and Seneca and in the practice of Thucydidas,
Sallust, Livy and Tacitus, the school exercise of character
description forms the basis of analysis and interpretation,
as illustrated from 14.8-19.By use of the theory of Theon and suitable practical examples in Homer,
Sailust, Dosephus, etc., the typical form of the character sketch is outlined,
as are common topics in it as used in Acts, thus identifying the
examples in Acts. With reference to such as Seneca, Tacitus, Vergil and
Polybius, it is shown how this exercise was used in historiography to
introduce minor, and offer obituaries of major, characters, and so it
emerges that in Acts these sketches introduce the Church, and that Paul,
receiving valedictory description, is the dominant figure. Reference to
historiographers also identifies the use of descriptions as digressions which yet advance the inquiry, 18.24-28 proving to be such
a
typifying digression. Adding Theon's exercise of comparison,
and again with reference to Plutarch, Xenophon, Catullus, etc., 4.32-5.11
and 8.4-40 (Lucian affording a significant comparison) are shown to be like
digressions. 21.37-9 and 22.25-8 are also comparisons, but 9.32-10.48 is a
climactic grouping of characters. Menander's On Ecideictic provides the
theoretical basis for the interpretation of character sketches in travel
rhetoric, and Lucan a practical instance. Situations of arrival and
departure occur at 15.6—16 and 20.36—21.16. For 21.39—26.39, the theory
of Cicero's De Inuantione and the Rhetorica ad Herannium on dicanic oratory
form the basis for discussion of the defence speech and its
effect on characterisations within it. The themes which emerge are
reviewed under the following heads: opposition and advance; resurrection;
piety; a dialectical relationship with the Dews; connection with the
higher echelons of society; lack of secretiveness; invitation to something
with a certain mystique; innocence and justice.Brief remarks on what Acts may have to say to the contemporary West
conclude the exploration of what it said in its own time
Alien Registration- Mackenzie, Kenneth J. (Portland, Cumberland County)
https://digitalmaine.com/alien_docs/22162/thumbnail.jp
- …